What Does "Without Loss of Generality" Mean (And How Do We Detect It)
نویسنده
چکیده
When one goes from a geometrical statement to an algebraic statement, the immediate translation is to replace every point by a pair of coordinates, if in the plane (or more as required). A statement with N points is then a statement with 2N (or 3N or more) variables, and the complexity of tools like cylindrical algebraic decomposition is doubly exponential in the number of variables. Hence one says “without loss of generality, A is at (0,0)” and so on. How might one automate this, or turn it into a procedure (and possibly even a formal proof)?
منابع مشابه
-
The development and evolution of any system–person, organization–nation depends on how the system succeeds to bridge the gap between what the system knows and what the system does (with the knowledge). We call this the gap between knowing and doing or the knowing-doing gap. If the system does not do what it knows, it will lose out in competition with other systems, its relative performance in...
متن کاملMistaking the Map for the Territory: What Society Does With Medicine; Comment on “Medicalisation and Overdiagnosis: What Society Does to Medicine”
Van Dijk et al describe how society’s influence on medicine drives both medicalisation and overdiagnosis, and allege that a major political and ethical concern regarding our increasingly interpreting the world through a biomedical lens is that it serves to individualise and depoliticize social problems. I argue that for medicalisation to serve this purpose, it would have to exclude the possibil...
متن کاملOn the Social Construction of Overdiagnosis; Comment on “Medicalisation and Overdiagnosis: What Society Does to Medicine”
In an interesting article Wieteke van Dijk and colleagues argue that societal developments and values influence the practice of medicine, and thus can result in both medicalisation and overdiagnosis. They provide a convincing argument that overdiagnosis emerges in a social context and that it has socially constructed implications. However, they fail to show that overdiagnosis per se is socially...
متن کاملاقتصاد نئوکلاسیک
How was the term "Neoclassical Economics" introduced to economics and what thoughts does it indicate? Does the current use of this term conform with the original efforts of the founders of it? These are among the questions which have always drawn the attention of economists. The term "Neoclassical Economics" was primarily introduced to the modern economics by Veblen. What he meant by it was the...
متن کاملمدیر موفق کیست؟
Who is a really successful manager? A manager who spends less money, or the one who earns more? A manager who can survive for a longer period of time, or an administrator who expands his organization, and opens up new branches? Which one is the most successful? The article tries to answer these questions and provides, some simple guidlines for the managers in every domain of management who wan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016